#!/bin/bash

QUEUE_FILE="../../src/queue/lockfree_queue.c"

echo "Analyzing queue implementation..."
vsyncer info $QUEUE_FILE

echo "Optimizing queue implementation..."
vsyncer optimize -A -1 $QUEUE_FILE

echo "Verifying optimization..."
vsyncer verify $QUEUE_FILE

echo "Running queue benchmarks..."
cd ../../
make
./build/tests/benchmark/bench_queue 